Peter Aczel (* 31. Oktober 1941) ist ein britischer mathematischer Logiker und Informatiker. Aczel promovierte 1964 an der Universität Oxford bei John Newsome Crossley (Mathematical Problems in Logic). Er ist Professor für mathematische Logik und Informatik an der University of Manchester. Aczel ist bekannt für Arbeiten in der Non well founded ...